- метод формальных описаний
-
метод формальных описаний
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- formal description technique
- FDT
Справочник технического переводчика. – Интент. 2009-2013.
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения науч. теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы, или постулаты, из которых все остальные утверждения этой теории должны выводиться чисто логич. путём, посредством… … Философская энциклопедия
Роман — Роман. История термина. Проблема романа. Возникновение жанра. Из истории жанра. Выводы. Роман как буржуазная эпопея. Судьбы теории романа. Специфичность формы романа. Зарождение романа. Завоевание романом обыденной действительности … Литературная энциклопедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
КИБЕРНЕТИКА — наука об управлении, связи и переработке информации (буквально искусство управления рулем ). Первым, кто употребил этот термин для управления в общем смысле, был, по видимому, древнегреческий философ Платон. А. М. Ампер (А. М. Ampere, 1834)… … Математическая энциклопедия
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
ЛОГИЧЕСКАЯ ИСТИННОСТЬ — (в формальной логике) – истинность предложения (суждения, высказывания), обусловленная его формально логич. структурой и принятыми при его рассмотрении законами логики (в отличие от т.н. фактической истинности, для установления к рой необходим… … Философская энциклопедия
ЭТНОМЕТОДОЛОГИЯ — одно из направлений в совр. культурологии и социологии, продолжающее традиции феноменологич. подхода к изучению социальной реальности. Основатель Э. амер. социолог Г. Гарфинкель, автор книги “Исследования по этнометодологии”, 1967. С тех… … Энциклопедия культурологии
Теория романа — Теория романа разнородные литературоведческие учения, объясняющие жанровую природу и историю романа. Классическая литературная теория, от эпохи эллинизма (начало нашей эры) до позднего классицизма (XVIII век), игнорирует существование… … Википедия
Сравнение C Sharp и Java — Правильный заголовок этой статьи Сравнение C# и Java. Он показан некорректно из за технических ограничений. Сравнения языков программирования Общее сравнение Основной синтаксис Основные инструкции Массивы Ассоциативные массивы Операции со… … Википедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия